home *** CD-ROM | disk | FTP | other *** search
Text File | 1993-10-06 | 1.8 KB | 64 lines | [TEXT/ttxt] |
- Ce dossier contient des exemples de programmes écrits en Caml.
-
- Pour exécuter un exemple, il suffit de charger (avec l'entrée
- "Include..." du menu "Files") le fichier "loadall.ml" contenu dans le
- dossier correspondant à l'exemple.
-
- Les exemples marqués d'une astérisque (*) se trouvent dans le dossier
- "Le Langage Caml" et proviennent du livre "Le langage Caml", de Pierre Weis et
- Xavier Leroy (InterEditions, 1993).
-
-
- basics:
- Trois grands classiques: la fonction de Fibonacci, le crible
- d'Eratosthènes et l'utilitaire Unix "wc".
-
- asl:
- L'implémentation du mini-langage ASL décrite dans la troisième
- partie de "Functional Programming using Caml Light", de Michel
- Mauny.
-
- colwheel:
- Montre la "roue des couleurs" (l'espace des couleurs en
- coordonnées HSB). Joli à condition d'avoir un écran 256 couleurs
- au moins.
-
- compress: (*)
- Compression et décompression de fichiers (algorithme de
- Huffman).
-
- demonstr: (*)
- Vérification de tautologies.
-
- docteur: (*)
- Un "psychanalyste" dans le style d'Eliza.
-
- hanoi: (*)
- Animation des tours de Hanoi.
-
- kb:
- La procédure de complétion de Knuth-Bendix pour les systèmes
- de réécriture. Origine: notes de cours de Gérard Huet.
-
- minicaml: (*)
- Un interprète et un synthétiseur de types pour un sous-ensemble
- de Caml.
-
- minilogo: (*)
- Un interprète pour un petit langage avec graphismes "tortue".
-
- pascal: (*)
- Un interprète et un compilateur pour un sous-ensemble de
- Pascal. Le compilateur produit du code exécutable par le
- programme "picomach".
-
- picomach: (*)
- Un assembleur et un simulateur pour un processeur RISC.
-
- showsort:
- Animation graphique d'algorithmes de tris.
-
- spirals:
- Dessine une famille de courbes spectaculaires.
-
-